mcsta

Benchmark

Model:	ftpp v.2 (MA)
Parameter(s)	N = 2, k = 2, R = True
Property:	Unavailability (steady-state-prob)

Invocation (specific)

mcsta/modest mcsta ftpp.2-2-true.jani --props Unavailability -O out.txt Minimal --unsafe --es -S Hybrid --store-compress None --no-partial-results --width 1e-6 --relative-width

Execution

Walltime:

> 1800s (Timeout)

Log

ftpp.2-2-true.jani:model: info: ftpp.2-2-true.jani is an MA model.
ftpp.2-2-true.jani: info: Need 40 bytes per state.

STDERR

The Modest Toolset (www.modestchecker.net), version v3.1.42-gb5e9d523c.


----------
Computation aborted after 1800.1222174167633 seconds since the total time limit of 1800 seconds was exceeded.